大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Beesley Lectures on Regulation (13th : 2003) 的图书(共2123本)

Formal Methods for Components and Objects [electronic resource] : 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures

0
索取号：
作者：Boer、 Frank S.、Bonsangue、 Marcello M.、Graf、 Susanne.、Roever、 Willem-Paul.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Fast Software Encryption [electronic resource] : 13th International Workshop, FSE 2006, Graz, Austria, March 15-17, 2006, Revised Selected Papers

0
索取号：
作者：Robshaw、 Matthew.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Analytic Number Theory [electronic resource] : Lectures given at the C.I.M.E. Summer School held in Cetraro, Italy, July 11鈥Ḭ 2002

0
索取号：
作者：Friedlander、 J. B.、Heath-Brown、 D. R.、Iwaniec、 H.、Kaczorowski、 J.、Perelli、 Alberto.、Viola、 Carlo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Structural Information and Communication Complexity [electronic resource] : 13th International Colloquium, SIROCCO 2006, Chester, UK, July 2-5, 2006. Proceedings

0
索取号：
作者：Flocchini、 Paola.、G膮sieniec、 Leszek.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Cell Cycle Regulation [electronic resource]

0
索取号：
作者：Kaldis、 Philipp.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Formal Methods for Hardware Verification [electronic resource] : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures

0
索取号：
作者：Bernardo、 Marco.、Cimatti、 Alessandro.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Mathematical Physics of Quantum Mechanics [electronic resource] : Selected and Refereed Lectures from QMath9

0
索取号：
作者：Asch、 Joachim.、Joye、 Alain.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Mathematical Survey Lectures 1943鈥ⰰ4 [electronic resource]

0
索取号：
作者：Eckmann、 Beno.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

The Euroschool Lectures on Physics with Exotic Beams, Vol. II [electronic resource]

0
索取号：
作者：Al-Khalili、 Jim.、Roeckl、 Ernst.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Lectures in Astrobiology [electronic resource] : Volume II

0
索取号：
作者：Gargaud、 Muriel.、Martin、 Herv茅.、Claeys、 Philippe.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Model Checking Software [electronic resource] : 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006. Proceedings

0
索取号：
作者：Valmari、 Antti.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Fuzzy Logic and Applications [electronic resource] : 5th International Workshop, WILF 2003, Naples, Italy, October 9-11, 2003. Revised Selected Papers

0
索取号：
作者：Ges煤、 Vito.、Masulli、 Francesco.、Petrosino、 Alfredo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Mathematical Foundation of Turbulent Viscous Flows [electronic resource] : Lectures given at the C.I.M.E. Summer School held in Martina Franca, Italy, SEptember 1-5, 2003

0
索取号：
作者：Cannone、 Marco.、Miyakawa、 Tetsuro.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Computational Science and High Performance Computing [electronic resource] : Russian-German Advanced Research Workshop, Novosibirsk, Russia, September 30 to October 2, 2003

0
索取号：
作者：Krause、 Egon.、Shokin、 Yurii I.、Resch、 Michael.、Shokina、 Nina.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Global Optimization and Constraint Satisfaction [electronic resource] : Second International Workshop, COCOS 2003, Lausanne, Switzerland, November 18-21, 2003, Revised Selected Papers

0
索取号：
作者：Jermann、 Christophe.、Neumaier、 Arnold.、Sam、 Djamila.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Model-Based Testing of Reactive Systems [electronic resource] : Advanced Lectures

0
索取号：
作者：Broy、 Manfred.、Jonsson、 Bengt.、Katoen、 Joost-Pieter.、Leucker、 Martin.、Pretschner、 Alexander.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.